Mathematical proofs - PDFSEARCH.IO - Document Search Engine

Mathematical proofs
Results: 343

#	Item
321	Interactive Proofs and the Hardness of Approximating Cliques Uriel Feige ∗ Add to Reading List Source URL: web.cs.elte.hu Language: English - Date: 2007-01-10 14:31:22 Complexity classes Probabilistic complexity theory Mathematical optimization Mathematical proofs Interactive proof system NP Probabilistically checkable proof P versus NP problem MAX-3SAT Theoretical computer science Computational complexity theory Applied mathematics
322	Pretopologies and completeness proofs Giovanni Sambin Add to Reading List Source URL: www.math.unipd.it Language: English - Date: 2007-05-16 11:29:34 Model theory Interpretation Structure Sheaf Symbol Orbifold Natural deduction Logic Mathematics Mathematical logic
323	Sets, Models and Proofs I. Moerdijk and J. van Oosten Department of Mathematics Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2006-08-21 04:55:46 Functions and mappings Surjective function Injective function Bijection Function Cardinal number Inverse function Countable set Cardinality Mathematics Mathematical logic Mathematical analysis
324	The Squeeze Theorem: Dr. C. Sean Bohun Limits and Continuity, Tutorial 03 Page 1 Add to Reading List Source URL: faculty.uoit.ca Language: English - Date: 2008-01-30 13:10:55 Sine Squeeze theorem Proofs of trigonometric identities Pythagorean trigonometric identity Trigonometry Mathematics Mathematical analysis
325	Princeton Companion to Mathematics Proof Enumerative and Algebraic Add to Reading List Source URL: www.math.rutgers.edu Language: English - Date: 2005-03-25 09:03:41 Mathematical proofs Abstract algebra Integer sequences Combinatorial proof Bijective proof Enumeration Generating function Partition Permutation Mathematics Combinatorics Enumerative combinatorics
326	Two Proofs of Ladner’s Theorem We give two proofs of Ladner’s Theorem in this note. This note is adapted from the appendix Add to Reading List Source URL: oldblog.computationalcomplexity.org Language: English - Date: 2005-01-20 10:45:01 Structural complexity theory Mathematical optimization Complexity classes Functions and mappings P versus NP problem PP Function NP Reduction Theoretical computer science Computational complexity theory Applied mathematics
327	18 Unconventional Essays on the Nature of Mathematics Add to Reading List Source URL: www.bgc-jena.mpg.de Language: English - Date: 2007-10-22 09:13:11 Kepler conjecture Foundations of mathematics Mathematical practice Imre Lakatos Mathematical object Theorem Mathematician Proofs and Refutations Computer-assisted proof Mathematics Philosophy of mathematics Mathematical proof
328	PDF Document Add to Reading List Source URL: www.math.wustl.edu Language: English - Date: 2007-07-25 14:17:38 Proof theory Mathematical proofs Logical syntax Logical truth Theorem Pythagorean theorem Proof by contradiction Formal proof Mathematical induction Mathematics Logic Mathematical logic
329	PDF Document Add to Reading List Source URL: www.math.uconn.edu Language: English - Date: 2002-08-09 11:39:52 Mathematical proofs Proof theory Mathematical induction Fundamental theorem of algebra Theorem Direct proof Fundamental theorem of arithmetic Axiom Mathematical fallacy Mathematics Logic Mathematical logic
330	PDF Document Add to Reading List Source URL: www.math.washington.edu Language: English - Date: 2006-04-17 16:54:45 Logical syntax Formal languages Formal systems Mathematical proofs Theorem Well-formed formula If and only if Formal proof Function Logic Mathematics Mathematical logic

UPDATE